Theoretical Foundations of Software Relativization in Technological Programming Systems
نویسندگان
چکیده
The research claims the need for paradigmatic changes in technological foundations of programming, which involve a transition from an individual-subjective programming paradigm to intersubjective one. proposed is based on understanding as activity conditioned by program likeness, and subject-oriented complementarity its active passive forms. To implement such transition, objectification active-passive considered, main prerequisite real modernization reflexive-transitive closure analogy generated subject. Determinant role subject context environments concept — essence—simile, presented form one or another specification. Passive constituent conditioning objectified similitude whole consequence assimilation, namely program. achieve this goal, tool logical-mathematical specifications semantic-syntactic aspects proposed. This was tested examples that demonstrated general features application environment generation systems their use. In particular, use allows create more efficient have higher quality flexibility performing tasks. obtained results confirm are possible options solving problem further technologization also demonstrate
منابع مشابه
Theoretical foundations of software ecosystems
Software ecosystems have become a defined and active field of research based on the recent emergence of new open business models leading to new roles and patterns for collaboration, innovation, and value proposition. In this paper we look into the theoretical foundations of this new research field. We review recent publications to describe the present theorization; we discuss the relevance of t...
متن کاملInformation systems theoretical foundations
Some basic concepts concerning information systems are defined and investigated. With every information system a query language is associated and its syntax and semantics is formally defined. Some elementary properties of the query language are stated. The presented approach leads to a new information systems organization. The presented idea was implemented and the implementation shows many adv...
متن کاملMulti-Dimensional Logic Programming: Theoretical Foundations
This paper introduces an extension of logic programming based on multi-dimensional logics, called MLP. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs ...
متن کاملTheoretical Foundations for Practical ‘Totally Functional Programming’
Interpretation is an implicit part of today’s programming; it has great power but is overused and has significant costs. For example, interpreters are typically significantly hard to understand and hard to reason about. The methodology of “Totally Functional Programming” (TFP) is a reasoned attempt to redress the problem of interpretation. It incorporates an awareness of the undesirability of i...
متن کاملThe Theoretical Foundations of Jus Cogens in International Law
International Law has it's Constituent elements (legal systems, regimes and collections of rules); Those have interrelations from which legal networks are created. Having this in mind, the question is whether these Constituent elements only have horizental nexus or are ordered by means of factors which unified them in a vertical manner and because of that International Law is named legal orde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ?????? ??????????? ?????????????? ?????????
سال: 2023
ISSN: ['1997-9266', '1997-9274']
DOI: https://doi.org/10.31649/1997-9266-2023-167-2-72-80